Response to Selection with Restrictions While Considering Effective Family Number
نویسندگان
چکیده
منابع مشابه
Description Logics with Symbolic Number Restrictions
Motivated by a chemical engineering application, we introduce an extension of the concept description language ALCN by symbolic number restrictions. This first extension turns out to have an undecidable concept satisfiability problem. For a restricted language—whose expressive power is sufficient for our application— we show that concept satisfiability is decidable.
متن کاملUniform Intersecting Families with Covering Number Restrictions
It is known that any k-uniform family with covering number t has at most k t t-covers. In this paper, we give better upper bounds for the number of t-covers in k-uniform intersecting families with covering number t.
متن کاملReducing Compressor Noise While Considering System Interactions
Refrigerant compressors can be a primary noise source in residential air conditioning and heat pump systems. When evaluating the contribution of a compressor to the total noise, it is necessary to consider how the compressor couples to the condensing unit. Compressors typically couple to the condensing unit via three different types of noise paths. First, the compressor couples structurally to ...
متن کاملRole Hierarchies and Number Restrictions
We present the atomic decomposition technique as a general method for reducing reasoning about cardinalities of sets, in the DL case the cardinalities of role llers, to equation solving problems. Then we apply the technique to a particular description logic with complex role terms and role hierarchies and a strong arithmetic component.
متن کاملConsidering renal risk while managing cancer
Renal function is an important consideration in the management of patients with advanced cancer. There is a reciprocal relationship between cancer and the kidney: chronic kidney disease can increase the risk of developing cancer, and patients with cancer often experience renal impairment owing to age, disease-related factors and nephrotoxic treatments. As therapies for cancer continue to improv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hereditas
سال: 2004
ISSN: 0018-0661
DOI: 10.1111/j.1601-5223.1995.00053.x